Dichotomy results for fixed point counting in boolean dynamical systems
نویسندگان
چکیده
منابع مشابه
Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems
We present dichotomy theorems regarding the computational complexity of counting fixed points in boolean (discrete) dynamical systems, i.e., finite discrete dynamical systems over the domain {0, 1}. For a class F of boolean functions and a class G of graphs, an (F ,G)-system is a boolean dynamical system with local transitions functions lying in F and graphs in G. We show that, if local transit...
متن کاملDichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems
A complete classification of the computational complexity of the fixed-point existence problem for boolean dynamical systems, i.e., finite discrete dynamical systems over the domain {0, 1}, is presented. For function classes F and graph classes G, an (F ,G)-system is a boolean dynamical system such that all local transition functions lie in F and the underlying graph lies in G. Let F be a class...
متن کاملCurves, dynamical systems, and weighted point counting.
Suppose X is a (smooth projective irreducible algebraic) curve over a finite field k. Counting the number of points on X over all finite field extensions of k will not determine the curve uniquely. Actually, a famous theorem of Tate implies that two such curves over k have the same zeta function (i.e., the same number of points over all extensions of k) if and only if their corresponding Jacobi...
متن کاملCoincident point and fixed point results for three self mappings in cone metric spaces
In this attempt we proved results on points of coincidence and common xed points for three selfmappings satisfying generalized contractive type conditions in cone metric spaces. Our results gen-eralizes some previous known results in the literature (eg. [5], [6])
متن کاملA Fixed Point Theorem for Bounded Dynamical Systems
We show that a continuous map or a continuous flow on Rn with a certain recurrence relation must have a fixed point. Specifically, if there is a compact set W with the property that the forward orbit of every point in R n intersects W then there is a fixed point in W . Consequently, if the omega limit set of every point is nonempty and uniformly bounded then there is a fixed point. In this note...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2015
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2015.01.040